$\forall$$A$:Type, $f$:($A$$\rightarrow\mathbb{B}$), $L$:$A$ List. $\forall$$b$$\in$2of(split\_tail($L$ $\mid$ $\forall$$x$.$f$($x$))). $f$($b$)